退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:工业化计算机联锁系统的基于证明的验证方法
BEHNIA, Salimeh; Mammar, Amel; Mota, Jean-Marc; BRETON, Nicolas; Caspi, Paul; Raymond, Pascal;
机译:基于证明的动态属性验证方法:应用于信息系统领域
机译:具有顺序释放功能的联锁系统的正式建模和验证
机译:使用抽象状态机验证铁路信号系统联锁表的准确性
机译:设计签名验证和生物密码系统的一种不相似表示方法。
机译:团队互锁生态系统如何影响科学团队的组装:超图方法
机译:工业化基于证据的计算机化联锁系统验证方法
机译:aRmaX模型估算建筑物静态热流的方法。一种计算机能量分配系统的方法
机译:使用基于证明的抽象进行设计验证的方法和系统
机译:联锁数据验证装置和联锁数据设计验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。